<html>
<head>
<script>
function hst() {
  var search = location.search;
  var historyToken = '';
  if (search.length > 0)
    historyToken = search.substring(1);

  document.getElementById('__gwt_historyToken').value = historyToken;
  if (parent.__gwt_onHistoryLoad) {
    parent.__gwt_onHistoryLoad(historyToken);
  }
}
</script></head>
<body onload='hst()'>

<input type='text' id='__gwt_historyToken' tabIndex='-1'>

</body>
</html>
